Formal Model Merging Applied to Class Diagram Integration
نویسندگان
چکیده
منابع مشابه
Formal Model Merging Applied to Class Diagram Integration
The integration of software artifacts is present in many scenarios of the Software Engineering field: object-oriented modeling, relational databases, XML schemas, ontologies, aspect-oriented programming, etc. In Model Management, software artifacts are viewed as models that can be manipulated by means of generic operators, which are specified independently of the context in which they are used....
متن کاملSome Challenges of Feature-based Class Diagram Merging
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). Two approaches exist: pruning of a large domain model, or merging of model fragments. In this paper, we investigate the impact of the merging approach on base models, and how they are made and used. We adopt an empirical met...
متن کاملMerging Formal
Industry acceptance of formal methods for software speciication could be improved by the availability of tools for direct derivation of prototype implementations from the speciication. We propose such a scenario, based on executable algebraic speciications and eecient implementation of functional languages. Our approach facilitates the incremental replacement of executable speciications by prod...
متن کاملAn Implementation of Entity-Relationship Diagram Merging
Entity-Relationship model is an abstract way to describe database. During large scale development, each database designer often focuses on designing a particular part of the system, and the model created by each designer may have overlaps. How to efficiently merge these models to construct a larger model that describes the whole system is an interesting problem. This report explains the impleme...
متن کاملUsing lightweight formal methods to model class and object diagrams
In this paper a formal model for class and object diagrams is presented. To make the model the author used Alloy, which is a threein-one package: a modeling language that constructs software models, a formal method that guides the construction of software models and an analyzer that helps find inconsistencies in software models. In the proposed model the entities that form class and object diag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2007
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2006.06.013